Church Thesis for fuzzy logic
نویسنده
چکیده
Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for fuzzy logic.
منابع مشابه
Multi-valued Logics, Effectiveness and Domains
Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for fuzzy logic.
متن کاملSome Improvements in Fuzzy Turing Machines
In this paper we modify some previous definitions of fuzzy Turing machines to define the notions of accepting and rejecting degrees of inputs, computationally. We use a BFS-based search method and obtain an upper level bound to guarantee the existence of accepting and rejecting degrees. We show that fuzzy, generalized fuzzy and classical Turing machines have the same computational power. Next, ...
متن کاملBo Yao Thesis Final
I Acknowledgments IV List of Figures X List of Tables XIV List of Abbreviations XV Publications Arising from This Work XVIII Chapter 1: Introduction .................................................................................................. 1 1.1 Aims, Significance, Novelty ........................................................................... 6 1.1.1 Aims .............................
متن کاملComputation, hypercomputation, and physical science
Copeland and others have argued that the Church-Turing thesis (CTT) has been widely misunderstood by philosophers and cognitive scientists. In particular, they have claimed that CTT is in principle compatible with the existence of machines that compute functions above the “Turing limit,” and that empirical investigation is needed to determine the “exact membership” of the set of functions that ...
متن کاملRepresenting Qualitative Variables and Their Interactions With Fuzzy Logic in System Dynamics Modeling
Shiyong Liu*, Konstantinos P. Triantis and Sudipta Sarangi Research Institute of Economics and Management, Southwestern University of Finance and Economics, #55 Guanghua Village Street, Chengdu, Sichuan 610074, China Department of Industrial and Systems Engineering, Virginia Polytechnic Institute and State University, Falls Church, VA 22043, USA Department of Economics, Louisiana State Universi...
متن کامل